3 results
Representation theorem for models of dynamic intensional logic
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 160-173
-
- Chapter
- Export citation
From bounded structural rules to linear logic modalities
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 143-151
-
- Chapter
- Export citation
Free ordered algebraic structures towards proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-608
- Print publication:
- June 2001
-
- Article
- Export citation